161. Objects and modalities : a study in the semantics of modal logic
پدیدآورنده: Tulenheimo, Tero
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Modality )Logic(,، Semantics )Philosophy(,، Logic, Symbolic and mathematical
رده :
BC
199
.
M6T85


162. On Aristotle's Prior analytics 1.1-7 /
پدیدآورنده: Alexander of Aphrodisias ; translated by Jonathan Barnes, Susanne Bobzien, Kevin Flannery, S.J. & Katerina Ierodiakonou.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Aristotle., Prior analytics.,Aristote., Premiers analytiques.,Alexander,Commentaria in Analytica priora Aristotelis.,Aristoteles, v384-v322, Analytica priora 1,1-7,Aristoteles., Analytica priora 1,1-7.,Aristotle., Prior analytics.,Prior analytics (Aristotle),Contingency (Philosophy), Early works to 1800.,Logic, Early works to 1800.,Modality (Logic), Early works to 1800.,Logique, Ouvrages avant 1800.,Contingency (Philosophy),Logic, Early works to 1800.,Logic.,Modality (Logic)
رده :
B440
.
A9
B37
1991


163. On Aristotle's Prior analytics 1.1-7
پدیدآورنده: Alexander
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Aristotle.Prior analytics,Early works to 0081 ، Logic,Early works to 0081 ، Modality )Logic(,Early works to 0081 ، Contingency )Philosophy(
رده :
B440
.
A9
B37
1991


164. On Aristotle's "Prior analytics 1.1-7"
پدیدآورنده: / Alexander of Aphrodisias
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع: Aristotle - Prior analytics,Logic - Early works to 1800,Modality (Logic) - Early works to 1800,Contingency (Philosophy) - Early works to 1800,.ارسطو، ۲۲۳ - ۴۸۳ ق. م
رده :
B440
.
A9
,
B37


165. On Aristotle's "Prior analytics"
پدیدآورنده: / Alexander of Aphrodisias
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع: Aristotle.- Prior analytics,Logic- Early works to 1800,Modality (Logic)- Early works to 1800,Contingency (Philosophy)- Early works to 1800,.ارسطو، ۲۲۳ - ۴۸۳ ق. م
رده :
B440
.
A9
,
M84


166. Ontology, modality, and the fallacy of reference
پدیدآورنده: Jubien, Michael
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Reference )Philosophy(,، Names,، Identity )Philosophical concept(,، Essentialism )Philosophy(,، Necessity )Philosophy(,، Ontology,، Modality )Logic(
رده :
B
105
.
R25J8


167. Partiality, modality, and nonmonotonicity /
پدیدآورنده: [edited by] Patrick Doherty
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Commonsense reasoning,Formal languages,Modality (Logic)
رده :
QA9
.
46
.
P37
1996


168. Philosophy of Quine
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Quine, W. V.)Willard Van Orman(
رده :
B
945
.
Q54
.
P48
2001


169. Philosophy of Quine
پدیدآورنده: edited with introductions by Dagfinn Follesdal
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Quine, Willard Van Orman, 8091-0002
رده :
B
945
.
Q54P4


170. Philosophy of Quine
پدیدآورنده: Series editor Dagfinn Follesdal
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع: ، Quine, W. V.)Willard Van Orman(,United States ، Philosophy
رده :
B
945
.
Q54P5
2001


171. Philosophy of logic /
پدیدآورنده: W.V. Quine.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic.,Philosophy.,Logique.,Philosophie.,Logic.,Logica.,PHILOSOPHY-- Logic.,Philosophy.
رده :
BC51
.
Q5
1986eb


172. Poniatie of ekta v modalinoi logike
پدیدآورنده: Tselishchev
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Modality (Logic),Object (Philosophy)
رده :
BC
199
.
M6T75


173. Possibilities and paradox : an introduction to modal and many-valued logic
پدیدآورنده: Beall, Jeffrey C., 6691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Modality )Logic(,، Many-valued logic
رده :
BC
199
.
M6B43


174. Possible worlds
پدیدآورنده: Rod Girle.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Modality (Logic),Possibility.

175. Proceedings of the Paralinguistic Information and its Integration in Spoken Dialogue Systems Workshop
پدیدآورنده: edited by Ramón López-Cózar Delgado, Tetsunori Kobayashi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Engineering.,Translators (Computer programs).

176. Provability, complexity, grammars
پدیدآورنده: Lev Beklemishev, Mati Pentus, Nikolai Vereshchagin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity.,Mathematical linguistics.,Modality (Logic),Proof theory.

178. Raising pure hell :
پدیدآورنده: Peterson Ii, Victor
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:

179. Real existence, ideal necessity :
پدیدآورنده: Robert Greenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Kant, Immanuel,1724-1804.,Kant, Immanuel, 1724-1804,Kant, Immanuel,1724-1804.,Knowledge, Theory of-- History.,Modality (Logic),Modality (Logic)-- History-- 18th century.,Nonclassical mathematical logic.,Knowledge, Theory of.,Modality (Logic),Nonclassical mathematical logic.,PHILOSOPHY-- Epistemology.,Rezeption,Spätantike
رده :
B2750
.
K28
no
.
157eb


180. Real existence, ideal necessity : Kant's compromise, and the modalities without the compromise
پدیدآورنده: Greenberg, Robert, 1934-
کتابخانه: کتابخانه دانشکدگان فارابی دانشگاه تهران (قم)
موضوع:
رده :
B
2750
.
K28
2008

